EXPONENTIABILITY IN CATEGORIES OF LAX ALGEBRAS Dedicated to Nico Pumplün on the occasion of his seventieth birthday
نویسندگان
چکیده
For a complete cartesian-closed category V with coproducts, and for any pointed endofunctor T of the category of sets satisfying a suitable Beck-Chevalley-type condition, it is shown that the category of lax reflexive (T,V)-algebras is a quasitopos. This result encompasses many known and new examples of quasitopoi.
منابع مشابه
EXTENSIONS IN THE THEORY OF LAX ALGEBRAS Dedicated to Walter Tholen on the occasion of his 60th birthday
Recent investigations of lax algebras—in generalization of Barr’s relational algebras—make an essential use of lax extensions of monad functors on Set to the category Rel(V) of sets and V-relations (where V is a unital quantale). For a given monad there may be many such lax extensions, and different constructions appear in the literature. The aim of this article is to shed a unifying light on t...
متن کاملGraded self-injective algebras “are” trivial extensions
Article history: Received 20 March 2009 Available online 9 June 2009 Communicated by Michel Van den Bergh Dedicated to Professor Helmut Lenzing on the occasion of his seventieth birthday
متن کاملOn lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملSome remarks on the computation of complements and normalizers in soluble groups
Dedicated to Wolfgang Gasch utz, to whom we owe so much of our understanding of soluble groups, on the occasion of his seventieth birthday 1. Introduction.
متن کاملON EXTENSIONS OF LAX MONADS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
In this paper we construct extensions of Set-monads – and, more generally, of lax Rel-monads – into lax monads of the bicategory Mat(V) of generalized V-matrices, whenever V is a well-behaved lattice equipped with a tensor product. We add some guiding examples.
متن کامل